<? session_start(); 
	if(isset($_SESSION['id']) & isset($_SESSION['pass']))
	{
?>
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<title>Menu Admin</title>
</head>

<body>

<? require ("koneksi.php")?>
<center>
	<table border="2">
		<th colspan="7">
			Menu Admin
		</th>
		<tr>
			<td><a href="menu_mahasiswa.php">Mahasiswa</a></td>
			<td><a href="menu_mata_kul.php">Mata Kuliah</a></td>
			<td><a href="menu_nilai.php">Nilai</a></td>
			<td><a href="menu_jadwal.php">Jadwal</a></td>
			<td><a href="menu_dosen.php">Dosen</a></td>
			<td><a href="menu_informasi.php">Informasi</a></td>
			<td><a href="logout.php">Logout</a></td>
		</tr>		
	</table>
</center>
</body>
</html>
<? 
	}
	else
	header("Location:index.php");
?>
